苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

铁路工程施工招标综合评估法投标报价分析

铁路工程施工招投标主要采用综合评估法,对投标文件进行综合评审答分,并将得分由高到低排列推荐中标候选人。此文在介绍综合评估法和投标报价评分规则的基础上,为便于对投标报价进行分析,假设各投标人均为"理性经济人",且目标一致,采用以各投标人的报价平均值作为各投标人的报价,求解满分区间不等式,得出报价范围,再计算各投标人综合得分。该方法经实例计算验证,较其他评标方法简便、精确,且通用性强,可为以后施工招标进行投标报价分析提供借鉴。     

工程建设实施阶段材料价差调整计算方法探讨

铁路工程建设项目投资受国家政策和建筑市场物价变化等因素的影响,为有效控制工程项目投资,工程施工阶段需对材料价差进行动态调整。材料价差调整政策性强、工作量大、要求精细。此文在阐述材料价差调整依据及程序的基础上,对甲供材料和施工企业自购材料价差调整的原则及计算方法进行分析与探讨,提出可采用的计算方法。并结合工程实例进行材料价差调整的计算,验证其计算方法的可行性与可用性。     

装配式桁架片组成的方柱式结构及承载力简化计算方法研究

装配式桁架在工程中运用较多,在工程项目中可以作为梁式结构和柱式结构运用,其中柱式结构分为排架式柱和方柱式结构。由于现实中对柱式结构缺乏完善的理论分析和实用简化计算方法,工程单位在运用柱式结构作为临时支撑结构过程中出现了不少安全隐患。因此对方柱式结构的构造及承载力简化计算方法进行研究,该实用计算方法简单,对方柱式结构运用具有一定指导作用和可操作性。     

青藏高压电力工程四分裂导线弧垂观测法施工技术

结合青藏交直流联网工程实际,详细介绍在大风、气温骤变等高原特殊气候环境下四分裂导线弧垂的观测调整方法。经在该工程中实践证实,该方法可以有效控制导线弧垂精度,可供类似工程施工参考。     

基于修正容重增加法的加筋土挡墙稳定性分析

在分析容重增加法基本原理和缺陷的基础上,提出容重增加法用于加筋土挡墙稳定性分析时的修正方法,给出容重增加法在FLAC3D中的实现步骤,并进行实例分析。研究结果表明:岩土体容重的增加会导致岩土体力抗剪强度的增大和筋材的抗拔力增加,其应用于加筋土挡墙稳定性分析时应进行必要的修正,证明提出的修正方法是可行且高效的。     

城市轨道交通工程中转辙机安装方式简析

介绍城市轨道交通中各种转辙机的安装方式,并从多个方面分析比较了各种安装方式。     

基于时变因素的桥梁可靠度指标计算

在预应力桥梁服役过程中,桥梁构件的抗力水平可能降低,同时在运营过程中,桥梁的交通量有可能发生增长,考虑这些时变因素的桥梁可靠度是值得关心的问题。本文总结归纳了三种典型的抗力退化模式,以某地交通量观测结果为依据,拟合了其增长函数;建立抗力衰减和荷载增长的时变模型;接着,本文以某现役预应力混凝土桥梁构件为背景,利用蒙特卡罗法模拟计算了考虑时变因素的可靠度指标,讨论了其安全使用年限。     

城市大直径管道多维联合检测方法研究

探明地下污水管线运营的实际情况是后期维护的重要依据,而目前的探测方法不能全面掌握地下管线的精确探测问题。针对郑州地铁下穿污水管的运营情况,采用高密度电法、地质雷达检测技术,结合自行研发的浮于水面的彩色成像系统探测技术对其进行了间接探测和直观探测,找到了污水管渗漏、空洞及错位等问题,实现了对管道的多维立体监测,为地下管线的保护、修复和加固提供了技术支撑。     

CATIA-V5的知识工程优化功能在汽车产品开发上的应用

知识工程优化是通过捕捉、优化设计意图，使用户可以按目标进行优化设计的一种优化方法。介绍了与知识工程优化有关的概念和采用CATIA—V5软件知识工程优化功能进行产品优化设计的流程，并以油底壳体积优化设计和刮雨器的结构功能优化设计为例，提出了CATIA—V5知识工程优化的方法。